Improving Software Quality through Formal Methods
نویسنده
چکیده
منابع مشابه
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملImproving Software Requirements through Formal Methods: A Review
Almost twenty five years later, eliciting, representing and organizing software requirements remains one of the most challenging problems in software development. Many requirements errors are passed undetected to the later phases of the life cycle and correcting these errors during or after implementation have been found to be extremely costly. Studied have suggested that formal methods have tr...
متن کاملWell-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods
In addition to software development techniques such as formal methods, software process is important for effectively developing quality software. In the literature, we have well-defined process templates which provide mechanisms for measuring, controlling, managing, and improving the way we develop software. Well-defined process templates can serve as a vehicle to integrate advanced software en...
متن کاملNetwork Resource Management for Improving Users Quality of experience in Software Defined Network by Weighted Fuzzy Petri-NetMethod
The rapid rise in popularity of multimedia applications, such as VoIP, IPTV and Video Conferencing, intensifies the need to consider resource management for user satisfaction. Furthermore, improving Quality of Experience (QoE) in Software Defined Networks (SDNs) services is one of the important issues to be addressed by provisioning optimum resource management. In this paper, resource allocatio...
متن کاملTechnology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of software system requirements remains one of the most difficult and error-prone tasks in the software development lifecycle. The use of formal methods, based on mathematical logic and discrete mathematics, holds promise for ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002